| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Advanced Automata Theory | Advanced Automata Theory | Fach-/Modulprüfung | 6 | 531708 | ||
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 534496 | ||
| Compilerbau | Übung | 533717 | Mo 14:45-16:45 AH I (2350|028) (×1) Fr 12:30-14:00 AH II (2350|111) (×13) | |||
| Compilerbau | Vorlesung | 533716 | Mo 13:30-16:30 AH VI (2356|051) (×1) Di 12:30-14:00 AH III (2350|314.1) (×12) Mi 14:30-16:00 AH III (2350|314.1) (×11) | |||
| Efficient Algorithms | Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 528016 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 531296 | ||
| Modeling and analysis of hybrid systems | Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 531297 |